Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems

Using Visual Specifications in Verification of Industrial Automation Controllers

This paper deals with further development of a graphical specification language resembling timing-diagrams and allowing specification of partially ordered events in input and output signals. The language specifically aims at application in modular modelling of industrial automation systems and their formal verification via model-checking. The graphical specifications are translated into a model...

System-Level Modeling and Simulation of Networked PROFINET IO Controllers

In the industrial automation domain, an embedded system must not only fulfill its functionality, but also has to satisfy additional requirements, particularly with respect to real-time aspects. Given their often distributed fashion, a key aspect of industrial automation systems is the communication infrastructure. PROFINET IO modifies traditional Ethernet to fulfill the challenging requirements...

Fully-Deterministic Execution of IEC-61499 Models for Distributed Avionics Applications

Abstract: The development of time-critical Distributed Avionics Applications (DAAs) pushes beyond the limit of existing modeling methodologies to design dependable systems. Aerospace and industrial automation entail high-integrity applications where execution time is essential for dependability. This tempts us to use modeling technologies from one domain in another. The challenge is to demonstr...

Synthesizing Communication Processors from Timing Diagram Specifications

Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation

The IEC 61131-3 standard defines a model and a set of programming languages for the development of industrial automation software. It is widely accepted by industry and most of the commercial tool vendors advertise compliance with it. On the other side, Model Driven Development (MDD) has been proved as a quite successful paradigm in general-purpose computing. This was the motivation for exploit...